| |
|
|
|
If your Java program has been thoroughly tested but still error-prone,the Wasp analyser can help to detect subtle run-time errors and weak points in your program.
The following kinds of errors may be statically detected:null pointer exception, impermissible cast, array index out of bounds, division by zero, etc.
The following kinds of weak points may be detected:uninitialised variable,unreachable branch in conditional or switch statement,unreachable loop body or catch clause, assignment of variable whose value is never used, unreachable main exit of method, etc.
Wasp produces detailed and precise method call graph.
The method call graph of a program helps to know for each method what actual methods are called in its body.
Additionally, for each method you may know where this method may be called.
In comparison with other static error analysers,
Wasp has two important advantages.
Wasp is able to distinguish between a definite error, a possible error (warning), and a potentially erroneous situation.
In the latter case, Wasp produces a message called conditional error that in practice appear to indicate an errorin approximately one case from five.
Wasp performs context-sensitive data flow analysis, so it is able to recognize an error that appears only for some calls of the method containing it, but does not for other ones.
All known to us static analysers (e.g. QStudio Java, MetaMata Audit, etc) that statically detect run-time errors may produceonly long lists of warnings because they can not recognize definite errors in a program due to weak analyses applied. A user has to waste much time to analyse all warnings.
Wasp has proven its ability to find subtle bugs in programs evenafter debugging and testing stages of development because Waspdetects situations of real complexity. |
|
|
|
NEWS
So far, nothing for that!
RECOMMENDED DOWNLOADS IN THIS CATEGORY
|
|
|
|
| » FS1 Menu Applet 1.2
|
| Multi-level menu system with mouseover/mouseout animation effects generated from two images. Submenus appear in separate windows. ... |
|
| Org.ru | 0 | Platform independent | $24 | Downloads: 1291 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Jazz3D Lite - 3D API for Java 3
|
| Jazz3D Lite is a 3D graphics API for Java. It is very powerful, and extremely easy to use. Features include: texture mapping, accurate collision detection, real-time image processing, bilinear filtering - the list goes on. The Lite version of Jazz3D remo ... |
|
| Sygem.com | 0 | Platform independent | $35 | Downloads: 1352 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JEP - Java Math Expression Parser 2.12 2.12
|
| Features Easy-to-use package for parsing mathematical expressions Supports boolean expressions (!, &&, ||, <, >, !=, ==, >=, and <=) Variable values can be set externally The expression does not need to be parsed again if variables c ... |
|
| Sourceforge.net | 0 | Platform independent | $90 | Downloads: 1295 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JNIWrapper for Windows 1.3
|
| JNIWrapper is the technology that eliminates difficulties in working with native code from Java(TM) programs using standard JNI (Java Native Interface) approach. With JNIWrapper you do not have to create native code libraries to call a function of the ... |
|
| Jniwrapper.com | 0 | Win 95/NT/2000/XP/98/ME | $74 | Downloads: 1318 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JProfiler 2.0
|
| JProfiler is a fully dynamic profiler based on the Java virtual machine profiling interface (JVMPI). JProfiler is targeted at J2EE and J2SE applications. It features: CPU profiling Inspect the dynamic call tree and the hotspots of your application as i ... |
|
| Ej-technologies.com | 0 | Win 95Unix / Linux Macintosh / | $499 | Downloads: 1305 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JProfiler with Gold Support 2.0
|
| JProfiler is a fully dynamic profiler based on the Java virtual machine profiling interface (JVMPI). JProfiler is targeted at J2EE and J2SE applications. It features: CPU profiling Inspect the dynamic call tree and the hotspots of your application as i ... |
|
| Ej-technologies.com | 0 | Win 95Unix / Linux Macintosh / | $698 | Downloads: 1412 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Reog 1.0
|
| Reog is Graphical User Interface in Windows platform for Karapan Sapi Struts Generator. Karapan Sapi Struts Generator is generator for Java based web application using Struts Framework. Visit the site at http://www.javanovic.com/products/reog.html ... |
|
| Javanovic.com | 0 | Win 95/NT/2000/XP/98/ME | $80 | Downloads: 1457 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » TF IFX 5.2
|
| TF IFX is a 100% pure Java 1.1 image-manipulator. It has alot of filters and other tools which are helping you adding to a normal 2D image, high realistic effects like (chrome , gold, metal, plastic, sphere, waves, color controls, blur, 3D effects, rotat ... |
|
| Fouda.de | 0 | Win 95Platform independent /NT | $20 | Downloads: 1333 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » Trainable Chess Analyser 1.0
|
| This program can analyse set-ups of the chess game as to win, remis and loss. Besides the safe (classic) final states checkmate and stalemate - with both sides playing actively - setups can be decided by the user (via freely definable cores). VERY INTERE ... |
|
| Aol.de | 0 | Win 3.1/95MS DOS NextStep Unix | E20 | Downloads: 1381 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » yDoc Javadoc Extension 2.1
|
| yDoc is a Javadoc extension that adds new capabilities to the generation process of Java API documentation. Features yDoc is able to automatically generate and integrate UML diagrams to your Java API documentation. But there is more to yDoc than only di ... |
|
| Yworks.com | 0 | Win 95Unix / Linux Other syste | $139 | Downloads: 1309 |
| Date added: Sep 22, 2005 |
» Details |
|
|
|
|
| » JNIWrapper for Linux 1.1
|
| JNIWrapper is the technology that eliminates difficulties in working with native code from Java(TM) programs using standard JNI (Java Native Interface) approach. With JNIWrapper you do not have to create native code libraries to call a function of the ... |
|
| Jniwrapper.com | 0 | Unix / Linux | $74 | Downloads: 1392 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JWebEdixx Applet Domainlizenz (domain license)
|
| JWebEdixx is a Java 2 HTML editor applet. <textarea> fields in HTML documents can be replaced with JWebEdixx, allowing text formating capabilities as with a word processor. HTML serves as the in- and output format. JWebEdixx is ideal for content ma ... |
|
| Jwebedixx.com | 0 | | E249 | Downloads: 1382 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JWebEdixx Applet Firmenlizenz (company license)
|
| JWebEdixx is a Java 2 HTML editor applet. <textarea> fields in HTML documents can be replaced with JWebEdixx, allowing text formating capabilities as with a word processor. HTML serves as the in- and output format. JWebEdixx is ideal for content ma ... |
|
| Jwebedixx.com | 0 | | E2950 | Downloads: 1309 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » JNIWrapper for Windows & Linux 1.1
|
| JNIWrapper is the technology that eliminates difficulties in working with native code from Java(TM) programs using standard JNI (Java Native Interface) approach. With JNIWrapper you do not have to create native code libraries to call a function of the ... |
|
| Jniwrapper.com | 0 | Win 95Unix / Linux /NT/2000/XP | $99 | Downloads: 1375 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » NeuChat (25 users) - Windows Installer 2.3
|
| Empower your website, your organization`s intranet, and your customers with the real-time communication capability that they desire in order to communicate their needs directly to you! NeuChat allows you and your end-users to communicate more efficiently ... |
|
| Neunetsolutions.com | 0 | Win 95/NT/2000/XP/98/ME | $89 | Downloads: 1274 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » NeuChat (50 users) - Windows Installer 2.3
|
| Empower your website, your organization`s intranet, and your customers with the real-time communication capability that they desire in order to communicate their needs directly to you! NeuChat allows you and your end-users to communicate more efficiently ... |
|
| Neunetsolutions.com | 0 | Win 95/NT/2000/XP/98/ME | $169 | Downloads: 1332 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » NeuChat (unlimited users) - Windows Installer 2.3
|
| Empower your website, your organization`s intranet, and your customers with the real-time communication capability that they desire in order to communicate their needs directly to you! NeuChat allows you and your end-users to communicate more efficiently ... |
|
| Neunetsolutions.com | 0 | Win 95/NT/2000/XP/98/ME | $539 | Downloads: 1297 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » NeuChat (25 users) - Linux 2.3
|
| Empower your website, your organization`s intranet, and your customers with the real-time communication capability that they desire in order to communicate their needs directly to you! NeuChat allows you and your end-users to communicate more efficiently ... |
|
| Neunetsolutions.com | 0 | Unix / Linux | $89 | Downloads: 1371 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » NeuChat (50 users) - Linux 2.3
|
| Empower your website, your organization`s intranet, and your customers with the real-time communication capability that they desire in order to communicate their needs directly to you! NeuChat allows you and your end-users to communicate more efficiently ... |
|
| Neunetsolutions.com | 0 | Unix / Linux | $169 | Downloads: 1278 |
| Date added: Sep 22, 2005 |
» Details |
|
|
| » NeuChat (unlimited users) - Linux 2.3
|
| Empower your website, your organization`s intranet, and your customers with the real-time communication capability that they desire in order to communicate their needs directly to you! NeuChat allows you and your end-users to communicate more efficiently ... |
|
| Neunetsolutions.com | 0 | Unix / Linux | $539 | Downloads: 1262 |
| Date added: Sep 22, 2005 |
» Details |
|
|
|
|
| |
